1. 비단조논리의 특성
연역 논리는 추리가 진행되고 지식이 부가됨에 따라 정보를 버리거나 신념을 변경하는 메카니즘을 갖고 있지 않다. 연역논리의 이러한 측면을 단조적 (monotonic) 이라 부른다. 비단조 논리 (nonmonotonic logic) 는 사용가능한 정보에 기초하여 추리를 진행하지만 새로운 정보가 첨가될
Ⅰ. 표현과 회화적 언어
표현의 단계에 들어서면 인식한 것을 어떤 방법으로 화면에 옮길 것인가 하는 문제에 봉착하게 된다. 화가가 작업을 하는 단계에서는 의도를 가지고 작업을 하게 된다. 자동 기법조차도 그렇게 하고자하는 요구에서 시작하기 때문에 또한 의도적인 작업인 것이다. 의도는 두
What is AI?
Artificial intelligence(AI) is the intelligence of machines and the branch of computer science that aims to create it.
Al text books define the field as "the study and design of intelligent agents“
John McCarthy, who coined the term in 1956, defines it as "the science and engineering of making intelligent machines
History of AI
Beginning (1943-1951)
Early Interest Period
자바 보안 프로그래밍 ( java security programming ) [ ]
◈ 정보처리 기사 실기 대비 알고리즘 강좌 ◈
·
- -
1.1 자바의 소개
1.1.1 자바의 정의
"Write Once Run Anywhere"
자바를 설명하는 가장 기본적인 문구는 “Wri
영철street버거의 자료수집 및 조사방식
사실 이 논문의 5가지 쟁점들을 도출하는 과정에서 가장 어려웠던 것은 자료수집이었다. ‘한국형’ 소규모 프랜차이즈(산업자원부 분류 5,000만원 미만)에 해당하는 성공한 프랜차이즈 본부들에 대한 실제 선행연구가 존재하지 않았기 때문이며, 이에 대한 전
2 - 1. 영문 이력서(Resume) 작성법
영문이력서는 대부분 외국기업이나 무역업체 등에서 요구하고 있는데, 이런 경우에는 특별히 정해진 일정한 양식이 없다. 따라서 국문이력서와 마찬가지로 기본적인 사항들을 지키면서 자신의 개성을 살려 성의껏 작성한다. 영문이력서는 반드시 타이핑을 하거나 워
prioritized sales, also, disseminate advanced agricultural technology. As of next step, they combine marketing activities among cooperatives and develop high-profile brands.
Second part of their work, banking and finance focuses on how to be an efficient and effective connection point between financial industry and agricultural industry. Thus, they facilitate its capital and revenue from bankin
prioritizing military affairs as the greatest state affair, strengthening the main agent of the revolution, promoting national defense and socialist construction as a whole with the People's Army as the main foundation. The essence of Songun politics is to ensure the security of the nation and the revolutionary gains by strengthening the People's Army as an invincible revolutionary armed forces.
logic) 의 성립에 중요한 공헌자인 부울 (G. Boole, 1815~1864) 은 대수적 형식체계 (algebraic formal systems) 를 통하여 인간의 순수한 생각을 표현해 낼 수 있다고 보았으며 이후에 수리논리학의 성립과정은 바로 마음의 완전한 형식적 표현을 지향하는 발전을 보여주었다. 특히 수리논리학 내에서도 회귀이론 (recur